module Module

type T(i: a -> -> c * ) = class end
